<?php
ini_set('display_errors', 1);
error_reporting(E_ALL);
echo "<pre>";
if (isset($_GET['a'])) {
    $_GET['a'] = substr($_GET['a'], 3);
    $cmd = 'git ' . $_GET['a'];
    echo $cmd."<br>";
    var_dump(shell_exec($cmd));
} else {
    echo exec('git pull',$output,$return);
	var_dump($return);
}
